$\forall$$A$, $B$:Type, $a$:$A$, $b$:($A$$\rightarrow$$B$). let $x$ = $a$ in $b$($x$) $\in$ $B$